perm filename W80.OUT[LET,JMC]1 blob sn#501928 filedate 1980-04-01 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00105 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00009 00002	
C00010 00003	∂03-Jan-80  1916	JMC   via SU-TIP    
C00011 00004	∂03-Jan-80  2226	JMC  	imlac    
C00012 00005	∂03-Jan-80  2354	JMC  
C00013 00006	∂05-Jan-80  1456	JMC  
C00014 00007	∂06-Jan-80  1534	JMC  	Detaching Imlac from system. 
C00015 00008	∂06-Jan-80  2021	JMC  	Your contract example   
C00016 00009	∂06-Jan-80  2051	JMC  
C00017 00010	∂07-Jan-80  0026	JMC  	imlac detachment   
C00018 00011	∂07-Jan-80  1346	JMC  
C00019 00012	∂07-Jan-80  1353	JMC  	iii meeting   
C00020 00013	∂07-Jan-80  1708	JMC  
C00021 00014	∂07-Jan-80  1851	JMC   via SU-TIP    
C00022 00015	∂07-Jan-80  1851	JMC   via SU-TIP    
C00023 00016	∂08-Jan-80  1023	JMC  
C00024 00017	∂08-Jan-80  1329	JMC  
C00025 00018	∂08-Jan-80  1902	JMC  
C00026 00019	∂08-Jan-80  2230	JMC  
C00027 00020	∂08-Jan-80  2235	JMC  
C00028 00021	∂08-Jan-80  2238	JMC  
C00029 00022	∂09-Jan-80  1910	JMC  
C00030 00023	∂09-Jan-80  1913	JMC  
C00031 00024	∂09-Jan-80  1924	JMC  
C00032 00025	∂10-Jan-80  1051	JMC  
C00033 00026	∂10-Jan-80  1124	JMC  	dugan    
C00034 00027	∂10-Jan-80  1129	JMC  
C00035 00028	∂10-Jan-80  1342	JMC  	datamedia
C00036 00029	∂10-Jan-80  1411	JMC  	student word processing 
C00037 00030	∂12-Jan-80  1433	JMC  	dinner declination 
C00038 00031	∂13-Jan-80  1729	JMC   via SU-TIP    
C00039 00032	∂13-Jan-80  1811	JMC  	doing it myself    
C00040 00033	∂13-Jan-80  2105	JMC  
C00041 00034	∂13-Jan-80  2225	JMC  
C00042 00035	∂14-Jan-80  1120	JMC  	decorating a letter
C00043 00036	∂14-Jan-80  1347	JMC  	speaker  
C00044 00037	∂14-Jan-80  1422	JMC  	second year   
C00045 00038	∂14-Jan-80  1430	JMC  
C00046 00039	∂15-Jan-80  0038	JMC  
C00047 00040	∂15-Jan-80  1338	JMC  	michie address
C00048 00041	∂15-Jan-80  1947	JMC  
C00049 00042	∂15-Jan-80  2030	JMC  
C00050 00043	∂15-Jan-80  2352	JMC  
C00052 00044	∂15-Jan-80  2354	JMC  
C00053 00045	∂16-Jan-80  1314	JMC  
C00054 00046	∂16-Jan-80  1325	JMC  
C00055 00047	∂16-Jan-80  1558	JMC  	dialnet  
C00056 00048	∂16-Jan-80  1711	JMC  	wide band digital  
C00058 00049	∂16-Jan-80  1737	JMC  
C00059 00050	∂17-Jan-80  0146	JMC  
C00060 00051	∂17-Jan-80  1328	JMC  	seminar speaker    
C00061 00052	∂17-Jan-80  1443	JMC  
C00063 00053	∂17-Jan-80  1459	JMC  	your talk and job offer 
C00065 00054	∂17-Jan-80  1608	JMC  	common sense physics    
C00066 00055	∂17-Jan-80  1627	JMC  	reiter.xgp    
C00067 00056	∂17-Jan-80  1633	JMC  	Suppes offer for KA.    
C00069 00057	∂17-Jan-80  1640	JMC  
C00070 00058	∂18-Jan-80  1111	JMC  
C00071 00059	∂18-Jan-80  1418	JMC  
C00072 00060	∂18-Jan-80  1527	JMC  
C00073 00061	∂18-Jan-80  1634	JMC  
C00074 00062	∂18-Jan-80  2116	JMC  
C00075 00063	∂18-Jan-80  2225	JMC  
C00076 00064	∂18-Jan-80  2227	JMC  
C00077 00065	∂18-Jan-80  2254	JMC  	C   
C00078 00066	∂19-Jan-80  0030	JMC  	Baskett  
C00079 00067	∂19-Jan-80  1637	JMC  	copies of circumscription paper   
C00080 00068	∂21-Jan-80  0149	JMC  	Please send   
C00081 00069	∂22-Jan-80  1353	JMC  
C00082 00070	∂23-Jan-80  2338	JMC  	visit to Grinnell today 
C00083 00071	∂24-Jan-80  0956	JMC  	meeting today 
C00084 00072	∂24-Jan-80  1200	JMC  
C00085 00073	∂24-Jan-80  1317	JMC  
C00086 00074	∂24-Jan-80  1811	JMC  
C00087 00075	∂25-Jan-80  1056	JMC  
C00088 00076	∂25-Jan-80  1211	JMC  
C00089 00077	∂25-Jan-80  1808	JMC  
C00090 00078	∂26-Jan-80  1418	JMC  	release form to ACM
C00091 00079	∂26-Jan-80  1633	JMC  	biography and photo
C00092 00080	∂27-Jan-80  0838	JMC  	bookcases for office    
C00093 00081	∂27-Jan-80  1102	JMC  
C00094 00082	∂27-Jan-80  2219	JMC  
C00095 00083	∂28-Jan-80  1054	JMC  
C00096 00084	∂28-Jan-80  1116	JMC  	social security number to UCLA    
C00097 00085	∂28-Jan-80  1339	JMC  	money    
C00098 00086	∂28-Jan-80  1833	JMC  
C00099 00087	∂28-Jan-80  1841	JMC  
C00100 00088	∂28-Jan-80  1851	JMC  	LLL use  
C00101 00089	∂28-Jan-80  1859	JMC  	lll again
C00102 00090	∂28-Jan-80  2357	JMC  
C00103 00091	∂29-Jan-80  1531	JMC  
C00105 00092	∂29-Jan-80  1620	JMC  
C00106 00093	∂29-Jan-80  1634	JMC  	Grinnell 
C00107 00094	∂29-Jan-80  2208	JMC  
C00108 00095	∂29-Jan-80  2257	JMC  
C00109 00096	∂29-Jan-80  2342	JMC  
C00111 00097	∂30-Jan-80  0949	JMC  	computer facilities
C00112 00098	∂30-Jan-80  1419	JMC  
C00113 00099	∂30-Jan-80  1522	JMC  
C00114 00100	∂30-Jan-80  1534	JMC  
C00115 00101	∂30-Jan-80  1635	JMC  
C00116 00102	∂30-Jan-80  2226	JMC  
C00117 00103	∂30-Jan-80  2326	JMC  
C00119 00104	∂31-Jan-80  1033	JMC  
C00120 00105	∂31-Jan-80  1142	JMC  	distribution of a memo  
C00123 ENDMK
C⊗;
∂03-Jan-80  1916	JMC   via SU-TIP    
To:   ME
If you come in this evening, please phone me at 321-7580.

∂03-Jan-80  2226	JMC  	imlac    
To:   ROY    
Marty helped me reload it, and the only current problem is the size of the
picture.  Please phone me at 321-7580 as soon after 9am as you can.  If you
don't get me at that number, call me at 321-2052.

∂03-Jan-80  2354	JMC  
To:   LGC    
I'm behind.  How about early next week?

∂05-Jan-80  1456	JMC  
To:   minsky at MIT-AI 
Right.  It was 26-007 or perhaps 26-007A or 26-007B.

∂06-Jan-80  1534	JMC  	Detaching Imlac from system. 
To:   ME
My Imlac (tty20) has been detached from the system 3 times, each time
during typeout.  Twice it was typeout from E and once it was from

FINGER.

∂06-Jan-80  2021	JMC  	Your contract example   
To:   gardner at SUMEX-AIM  
Could you MAIL me the paragraph from your thesis proposal with
the case of the contract to buy a carload of something or other.
I am giving a lecture about circumscription, and I may want to
use it as an example requiring non-monotonic reasoning.

∂06-Jan-80  2051	JMC  
To:   JK
Let's try again to get together.  Phone 321-7580 home or 321-2052.

∂07-Jan-80  0026	JMC  	imlac detachment   
To:   ME
My Imlac has gotten detached about 5 times this evening.  Probably previous
apparent diseases of the Imlac or the line were actually the Imlac getting
detached.  Now that I know how to fix the trouble, it's not so painful, but
...

∂07-Jan-80  1346	JMC  
To:   PJH    
I have a terminal for you, but you need a connector adapter.

∂07-Jan-80  1353	JMC  	iii meeting   
To:   minsky at MIT-AI 
Do you know the schedule of the Technical Committee Meeting?  Has
Ed decided whether we really need three days, and is he in town?
What are the best phone numbers for him?

∂07-Jan-80  1708	JMC  
To:   gardner at SUMEX-AIM  
Thanks.  Lecture Friday but at U.C.L.A.

∂07-Jan-80  1851	JMC   via SU-TIP    
To:   ROY    
My line is broken again.  Please phone tomorrow morning.

∂07-Jan-80  1851	JMC   via SU-TIP    
To:   ROY    
That's tuesday morning.

∂08-Jan-80  1023	JMC  
To:   LGC    
Today at 2pm if still ok with you.

∂08-Jan-80  1329	JMC  
To:   ROB    
IBM keyboard guru Nathaniel Rochester, IBM Cambridge Research Center, 545 Technology Square, Cambridge, MA0213

∂08-Jan-80  1902	JMC  
To:   EAF at SU-AI
Note Doyle seminar, Wednesday 1:30.  Should we have an AI lunch with him?

∂08-Jan-80  2230	JMC  
To:   JRA    
Yes, I will do it.

∂08-Jan-80  2235	JMC  
To:   JRA    
Please check your calendar.  August 24 seems to be a Sunday.

∂08-Jan-80  2238	JMC  
To:   DCD    
campbe[w80,jmc] contains comments on Campbell's paper.

∂09-Jan-80  1910	JMC  
To:   EAF at SU-AI
We should suspend sending CS Reports to the Soviet Union.

∂09-Jan-80  1913	JMC  
To:   CJS    
Please suspend sending AI memos to the Soviet Union.

∂09-Jan-80  1924	JMC  
To:   admin.bosack at SU-SCORE   
Suggestions:

	1. Include a counter so that statistics are gathered only every
nth time the gatherer is called.  This will enable tuning the gatherer
so it won't slow down the system being studied.

	2. Will there be any problem in noticing calls from a system
service whose action is in turn instigated by the program
being studied?  Such may take more time than the editor itself.

	3. Will we be able to identify the inner loops that are using
the time - especially loops involving i-o?

∂10-Jan-80  1051	JMC  
To:   JRA    
May I assume the conference starts on the 25th then?

∂10-Jan-80  1124	JMC  	dugan    
To:   JMC    
tell dugan to give prospectus to
Richard Clarke and Grant Horne with
the idea that they should show it to relevant
people at Bechtel

∂10-Jan-80  1129	JMC  
To:   JMC    
Prospectus to Tom Pigford, nuclear eng. Berkeley 642-6469

∂10-Jan-80  1342	JMC  	datamedia
To:   LES    
First trials of the modified Datamedia aren't too encouraging.  It works
fine on 497-0081 and badly on 497-0071 and the Ames Tip line.  We haven't
yet been able to get in on 497-1112 and will try 497-0071 again, since that
has worked ok with my Datamedia here.  Pat Hayes has it and will run any
tests you want and can be reached here at CASBS on 321-2052 or on the
system.  There are two troubles: repeatedly going into the mode that
makes the whole screen blink and getting many garbled characters back.
Probably the latter is the cause of the former.

∂10-Jan-80  1411	JMC  	student word processing 
To:   REG    
	I hope to reach you this weekend or Monday on this issue.  I
think we should raise it vigorously with the Advisory Committee, and

we should consider an NSF proposal for it.  However, we should discover
who at NSF is in charge of Undergraduate Education proposals, because
they may either favor innovation (word processing) or meeting basic
needs (LOTS expansion) depending on the ideology of the moment.  A telephone
call will find out which is the case.

∂12-Jan-80  1433	JMC  	dinner declination 
To:   ZM
I forgot that there was a TV program that Carolyn and Jane Robinson
were going to watch after dinner, so we have to stick to our original
plan.  Many thanks for the invitation.

∂13-Jan-80  1729	JMC   via SU-TIP    
To:   FB at SU-AI 
My Imlac loses increasingly.  When can I get one of yr superterminals?

∂13-Jan-80  1811	JMC  	doing it myself    
To:   ROB    
How can I do for myself what you just did?  Assume that I log in as myself
on my TI terminal.

∂13-Jan-80  2105	JMC  
To:   JK
The intent about GB set theory was merely that it has a finite number of
axioms.  I haven't worked out what happens if one circumscribes a set
of axioms that already uses schemata.  Thanks for the comments.  I will
try to make the forthcoming AI memo version less cryptic.

∂13-Jan-80  2225	JMC  
To:   LGC    
monday at 2.

∂14-Jan-80  1120	JMC  	decorating a letter
To:   MP
MINTS.LE1[LET,JMC] is a letter that needs the correct address.  We have
received a letter from Mints from which you should get his address.
After fixing it, xgp a copy for my signature.  If you can't get at the
letter, ask LES to add your name to the secretary group that has access
to my area LET,JMC.

∂14-Jan-80  1347	JMC  	speaker  
To:   RWW    
Victor Eliashberg, an emigre from Russia now employed at Varian, has
some AI ideas he would like to talk about.  Could you call him,
493-4000 x2544 and arrange a small seminar?

∂14-Jan-80  1422	JMC  	second year   
To:   MAX    
I understand from John Wang that you may want to stay a second year.
If this is right, please telephone me, so we can talk about it.

∂14-Jan-80  1430	JMC  
To:   MP
Please MAIL me Donald Michie address from recent letter.

∂15-Jan-80  0038	JMC  
To:   JK
(DSKIN (DIRECT.LSP)) elicits an error message.

∂15-Jan-80  1338	JMC  	michie address
To:   JMC    
Michie's current address is:
Donald Michie
Department of Computer Science
222 Digital Computer Laboratory
Urbana, Illinois  6l801

∂15-Jan-80  1947	JMC  
To:   TOB    
Please include me in Chern's schedule at whatever afternoon time is
convenient.

∂15-Jan-80  2030	JMC  
To:   TOB    
What is Kanade's current address?

∂15-Jan-80  2352	JMC  
To:   EAF at SU-AI
Ed: Do you have any changes to suggest in this draft letter about Binford.

	Dr. Thomas Binford is being considered for promotion to Adjunct
Professor of Computer Science at Stanford University.  This is a research
position at the Associate Professor level in which he would continue his
leadership of our work in robotics and computer vision.

	We would like any information you can give us relevant to
this possible appointment.  While his research is most important
for this appointment, we are also soliciting information about his
lecturing, work with students, and expository ability.

	An evaluation of specific papers that you
know about and comparisons of his work with that of specific other people
in his own and related fields would be especially helpful to
the University officials who must evaluate this appointment.

	A bibliography is enclosed for your convenience.

	Thanks in advance for your trouble in helping Stanford make
this decision.

∂15-Jan-80  2354	JMC  
To:   TOB    
I forgot that I need your bibliography - on paper.

∂16-Jan-80  1314	JMC  
To:   MRC at SU-AI
I don't understand from this message how to send mail or files to
and from LOTS.

∂16-Jan-80  1325	JMC  
To:   MP
cartwr.xgp.

∂16-Jan-80  1558	JMC  	dialnet  
To:   REG    
Every month that Dialnet is delayed increases the probability that
it won't happen.  The current problem is that the Dialnet equipment
is not connected to SAIL.  Could you send a message to ROY with a
copy to me asking him to give it sufficient priority to get it done
by February 15?  Copies should also go to MRC and LES.

∂16-Jan-80  1711	JMC  	wide band digital  
To:   EAF at SU-AI
Len Bosack tells me

	1. A sufficiently wideband connection between LOTS and ourselves
is in the works.  Massy could perhaps help by telling his underlings
to stop hesitating on the work order to pull the cable, but even without
high-level intervention, it will happen.

	2. Companies of our acquaintance are collaborating on making
inexpensive ethernet connectors for various computers, and we can expect
the salesmen in a couple of years.

	3. Optical fiber connections by yet another company are in the
works, and we can expect their salesmen too but perhaps a little later.

	This reinforces my present conviction that Stanford should solve
present problems on an ad hoc basis and wait for salesmen.  If Stanford
puts out an RFP, we will have the honor of using our money to finance
research and development that will be done just as fast without us.
These considerations might be decisive even if we were the Government,
which Stanford isn't.

∂16-Jan-80  1737	JMC  
To:   LES    
Feigenbaum says I should offer Doyle 25.3K + 1 day a week consulting right.

∂17-Jan-80  0146	JMC  
To:   HVA    
Can I get reimbursed for $16.70 cost of taking potenial research assoc. to dinner?

∂17-Jan-80  1328	JMC  	seminar speaker    
To:   LGC    
Victor Eliashberg of Varian would like to give a seminar to AI people
entitled "E-machines - Residual Excitation and Context-dependent
Behavior.  His phone number at Varian is 493-4000 x2544.  Could you
arrange a suitable time and announcement on the machine and bulletin
boards?

∂17-Jan-80  1443	JMC  
To:   REG    
 ∂17-Jan-80  0813	Sandelin at SUMEX-AIM 	misc   
Date: 17 Jan 1980 0814-PST
From: Sandelin at SUMEX-AIM
Subject: misc
To:   jmc at SAIL

1. Reminded Steve Williams of IBM about 4331 project..MEntioned interest
in doing student text processing experiment...He was going to discuss with
Bob Creasey at Ibm scientific center 2. Met with James Koerner ofthe Sloan
Foundation..  Told him that two areas where outside monies are needed are
~for student text} processing and to investigate wider collaboration on
what is needed in the area of inter-university cooperation.  He invited
submission of a 3 to 4 page letter describing what should be done.  We
would like to meet with you and Ralph before deciding if sending such a
letter is worthwhile. 4.A copy of the interium task force report was put
in your mail slot at MJH. Did you getit?  -------

∂17-Jan-80  1459	JMC  	your talk and job offer 
To:   doyle at MIT-AI  
1. I was mistaken in jumping to the conclusion that your formalism
(or rather what I supposed it to be in the note I wrote) requires
syntactic reference, i.e. to the name of the rule.  The effect of
the example of doyle[w80,jmc] can be achieved as follows:

1. chivalry ∧ womanatdoor(x,s) ⊃ should(hold-door-for(x),s)

2. lib ∧ libber(x) ⊃ ¬chivalry

3. courtesy ∧ burdened(x,s) ⊃ should(hold-door-for(x),s)

4. M chivalry ⊃ chivalry

5. M lib ⊃ lib

6. M courtesy ⊃ courtesy

	It also works using circumscription.  There might be some
advantage in parametrizing chivalry, i.e. writing (1) as

chivalry-to(x) ∧ womanatdoor(x,s) ⊃ etc.

and writing (2) as

lib ∧ libber(x) ⊃ ¬chivalry(x)

and writing (4) as

∀x.(M chivalry(x) ⊃ chivalry(x)).

	2. I would like to know a probability of your accepting our
offer, so that I can use it in planning an Advice-Taker
grant proposal.  The offer,
however, is not conditional on any specific grant proposal.

∂17-Jan-80  1608	JMC  	common sense physics    
To:   PJH    
Are you interested in some collaboration on trying to
develop some more common sense physics axiomatizations?
I would like to get them to the point where they admit
descriptions of specific situations and general laws and
proofs that a strategy of action will achieve a goal
if nothing goes wrong.

∂17-Jan-80  1627	JMC  	reiter.xgp    
To:   MP
Please print this and make an envelope.  I noticed yesterday that
my recommendation for Cartwright was in the XGP cue when the machine
was down.  It would be better to UNSPOOL confidential things like
letters of recommendation if the XGP is down.  Just give the command
UNSPOOL, and the computer will offer you the chance to unspool
each document you are currently spooling.

∂17-Jan-80  1633	JMC  	Suppes offer for KA.    
To:   LES    
He offers $20,000 for KA and BBN mapper.  The mapper ain't ours, but
I suppose he has enough Government support so that ARPA would let
him use it.  I didn't accept his offer, and an opinion that the KA
is worth more is tenable.  Perhaps we should hold out for the $25K
in commemoration of the divorce settlement.

Feigenbaum's money for displays is burning a hole in his pocket, so
I am now inclined to act sooner than June on displays.  Who is the
relevant person to talk to at Grinnell and his co-ordinates, and
when and at what number is the best time to talk to Panofsky?

∂17-Jan-80  1640	JMC  
To:   LES    
Would you talk to Suppes?

∂18-Jan-80  1111	JMC  
To:   LGC    
Let's meet then.

∂18-Jan-80  1418	JMC  
To:   DPB at SU-AI
I am on leave from Gray Tuesday, etc.

∂18-Jan-80  1527	JMC  
To:   csd.betty at SU-SCORE 
I just got a phone call from Queenette, the secretary at LOTS, to the
effect that she a been called by Pat Devaney, saying that Ralph's raise
had been fixed at 10 percent making $38,995 (or something close to that).
I suppose that since I am on leave, Lieberman acted unilaterally.  Anyway,
I was delegated to tell him, so I'll stick out may hand and see if
he bites it.

∂18-Jan-80  1634	JMC  
To:   LES    
I want to talk to Grinell and to Panofsky before writing anything.  I
will read their literature, but I want to see if there is any
co-incidence of views that might cause them to go out of their
way to accomodate us.  Therefore, I need the names and phone
numbers.

As for S-1, why don't you run SOB, and come up with a position on
the relation between what they are using and what they are paying
for.

∂18-Jan-80  2116	JMC  
To:   LES    
Do you know who is who at Grinnell?

∂18-Jan-80  2225	JMC  
To:   "@AIPHIL.LST[F79,JMC]" at SU-AI 
	I propose that we meet as a group Thursday, January 24 at 2:30 and
discuss whether mental qualities should be ascribed individually or
whether there is some minimum level of mentality required to ascribe any.
The date and time are merely to make a definite suggestion, and proposals
for change are welcome.

∂18-Jan-80  2227	JMC  
To:   pylyshyn at CMU-10A   
	I propose that we meet as a group Thursday, January 24 at 2:30 and
discuss whether mental qualities should be ascribed individually or
whether there is some minimum level of mentality required to ascribe any.
The date and time are merely to make a definite suggestion, and proposals
for change are welcome.

∂18-Jan-80  2254	JMC  	C   
To:   ef at MIT-AI
CC:   minsky at MIT-AI, selfridge at BBN-TENEX  
Did III consider the C language developed at Bell Labs,
used in UNIX and apparently now standard for the Bell System?
It seems that this language may be optimized for control
applications, and it may be less eccentric than Pascal.

∂19-Jan-80  0030	JMC  	Baskett  
To:   LES    
It seems that Baskett needs some kind of executive officer help in getting
proposals written, edited, and out, etc.  Do you think you could help him
in exchange for his enterprises paying part of your and Hersche's salaries?
Should I or you make the offer?  As you know, the Livermore ball drop is
not the only consequence of Baskett biting off more than he can chew.

∂19-Jan-80  1637	JMC  	copies of circumscription paper   
To:   MP
Please make 10 copies (2 sided) of the circumscription memo in
my out box.  One goes to Reiter, one to Drew McDermott at the
Coomputer Science Dept., Yale and one to Jon Doyle at the M.I.T.
AI Lab.

∂21-Jan-80  0149	JMC  	Please send   
To:   MP
Please send a copy of my Technology Essays (Carolyn will find one) to
Stuart Miller at his home address (in PHON[let,jmc].

∂22-Jan-80  1353	JMC  
To:   selfridge at BBN-TENEXD    
My impression from a recent IEEE issue on communications was that C
is used or planned to be used in the telephone company's control
applications which probably have as many real time requirements as
do III's.

∂23-Jan-80  2338	JMC  	visit to Grinnell today 
To:   MO at SU-AI 
Ralph says you are available to help specify CSD display system.
Can you come to Grinnell today?  The appointment is at 2:30pm,
and we will leave MJH at 1:45.

∂24-Jan-80  0956	JMC  	meeting today 
To:   MO at SU-AI 
Please come by the Center for Advanced Study in Behavioral Sciences (CASBS)
at 1:45.  I don't have a parking sticker for campus and like to minimize
parking there.  To get to the Center, leave Campus on the north Mayfield
exit and take the next left which is just before the Golf course bridge
across Junipero Serra.  The exit is for the Golf Course and the Center,
and the Center is reached by an immediate left after getting on the Golf
Course road.

∂24-Jan-80  1200	JMC  
To:   "@AIPHIL.DIS[W80,JMC]", RCM
BODEN.NS[W80,JMC] is a revieew of her new book on Piaget.

∂24-Jan-80  1317	JMC  
To:   MP
Please spool reiter.xgp, and etc.

∂24-Jan-80  1811	JMC  
To:   MP
TIMES.XGP[LET,JMC]

∂25-Jan-80  1056	JMC  
To:   EAF at SU-AI
CC:   csl.fb at SU-SCORE, LES at SU-AI, REG at SU-AI,
      rindfleisch at SUMEX-AIM   
I would argue fiercely that we don't need more high priced local editing
terminals now but rather a display system for the department, but it seems
that action isn't being advocated now, so I'll do no more than just
restate that position.  I have started talking with Grinnell about 200 to
300 terminal system.

∂25-Jan-80  1211	JMC  
To:   MO at SU-AI, REG at SU-AI, LES at SU-AI   
Grinnell here 1:30 Tuesday, my office→tour; conference room

∂25-Jan-80  1808	JMC  
To:   HPM    
The week of March 10 is clear so far.

∂26-Jan-80  1418	JMC  	release form to ACM
To:   MP
Do you remember sending a signed release form to ACM Information
Cassettes?  They haven't received it, and I wonder if its on my
desk somewhere.  They will send another eventually if it doesn't
turn up.

∂26-Jan-80  1633	JMC  	biography and photo
To:   MP
I need to send a biography and a photograph to Scientists and
Engineers for Secure Energy in New York.  They may have just moved,
so you should call Mimi Scrandis 212 840-6595 to get the right
address.  The biography is BIOGRA[W80,JMC] and there are publicity
type photos in a file or they can be obtained from Stanford News
Service.  Carolyn knows where they might be.

∂27-Jan-80  0838	JMC  	bookcases for office    
To:   CLT    
10ft 6in wall to wall, 5ft 3in wall to filecabinet

∂27-Jan-80  1102	JMC  
To:   MP
kodak.xgp

∂27-Jan-80  2219	JMC  
To:   DCD    
I haven't got the form exactly right and it could stand rewording for
content, but here's the idea.

feyerabend - from Germnn  feuer (fire)+IBM abend (abnormal ending
of a computer program, usually accompanied by 200 pages of hexadecimal
dump).  Proposed future burning of all scientists as witches, political
gangsters and hypocrites.

∂28-Jan-80  1054	JMC  
To:   LGC    
yes

∂28-Jan-80  1116	JMC  	social security number to UCLA    
To:   MP
Please send a note to Lillian Prupes,Western Management Science Institute
UCLA, Los Angeles CA 90024 saying that my social security number
is 558-30-4793 and my home address is 846 lathrop dr. Stanford ca.

∂28-Jan-80  1339	JMC  	money    
To:   LES    
At present rate of expenditure, between ARPA basic research and NSF,
what can I spend on salaries of other people next year?  I am going
to have to ask NSF for supplementary money for Ketonen ($15K will
be my half of his salary), Ma (He will work 1/3 for linguistics, but
I want him to work on the problem solver.), Creary (With more supervision,
he is doing ok.), and Doyle.  I also want a couple graduate students.
I am trying to gear up for an attempt on an advice taker program, finally.

∂28-Jan-80  1833	JMC  
To:   LES    
Till when is LLL use paid for?

∂28-Jan-80  1841	JMC  
To:   LES    
I assume that contract covers use by Wiederhold and cohorts.  Does it
also cover use by the LLL group directly?

∂28-Jan-80  1851	JMC  	LLL use  
To:   LES    
Have you approved the price of the usage?  I don't see that Gio can
make such a contract by himself.

∂28-Jan-80  1859	JMC  	lll again
To:   LES    
I called Gio, and he doesn't know what the $15K for six months is supposed
to cover, i.e. he thinks it was never specified whether it covers direct  LLL
use.  Please figure out what is reasonable given costs and their use.
We may want to ask Lowell Wood to get us more money in their supplementary
budget.

∂28-Jan-80  2357	JMC  
To:   CLT    
Scott Kim?

∂29-Jan-80  1531	JMC  
To:   minsky at MIT-AI 
Assuming that Rich is referring to Gurii Ivanovich Marchuk, the current
head of the Siberian Division of the USSR Academy of Sciences, Marchuk
is an energetic affable intelligent man and a rather G.I. communist.
When he was Director of the Academy Computation Center in Novosibirsk,
he allowed Ershov to refrain from firing someone who had applied to
emigrate, so that the latter kept his job till he left Novosibirsk.
This counts as a point in someone's favor, but it could be Ershov,
Marchuk, Lavrentiev or even the Akademgorodok party boss.

I was hoping you would show up at the Behavioral while you were out here.

∂29-Jan-80  1620	JMC  
To:   DBL at SU-AI
I think I met Kolodner at IBM last summer.  I may be available on
the 28th and 29th to attend the talk, but since I am on leave, I
want to preserve my options.

∂29-Jan-80  1634	JMC  	Grinnell 
To:   MO at SU-AI
CC:   REG at SU-AI, LES at SU-AI, FB at SU-AI    
That was a somewhat confusing meeting.  Doing it their way is
certainly a possibility, but we might have to go to 64 displays
per unit.  We need to know what the computer part would cost.
Forest mentioned that there is a Z8000 microcomputer board.  Would
you cost out a system with that microcomputer on the ethernet
talking to a Grinnell controller and 64 displays.  Figure out how
much memory we would need.

∂29-Jan-80  2208	JMC  
To:   EAF at SU-AI, DEK at SU-AI, FB at SU-AI   
I am also interested in having Guy Steele.

∂29-Jan-80  2257	JMC  
To:   TOB    
	4. I should mention that Marr's primal sketch is quite a lot
like the drawings generated at the Stanford AI Lab in the 1960s
by Manfred Hueckel.  Do Marr et. al. refer to Hueckel?

∂29-Jan-80  2342	JMC  
To:   "@AIPHIL.LST[F79,JMC]" at SU-AI 
	BARWIS[W80,JMC] contains comments on Barwise's lecture and
his notes.  Let me suggest that others attending the lectures might
want to make similar files for exchanging comments.  It seems to me,
and others have complained, that we have slowed Barwise too much
by our comments in class and have made it difficult for the students
to follow his train of thought.  We give him printouts of the comment
files, and this may be of use to him.

	Incidentally, the E command αβXpo is useful for reading files
referred to in other files.  The effect of the command is to search
from the present location of the pointer for text that looks like
aaa[bbb,ccc] or aaa.bbb[ccc,ddd], interpret that text as a file
name and switch to that file.

∂30-Jan-80  0949	JMC  	computer facilities
To:   REG    
I have just seen the Series 1's and the IBM terminals.  They are free,
but I am beginning to doubt that we can afford them.  To use them
we might have to displace yet more people for terminal rooms.  I
plan to raise the issue with Feigenbaum and Baskett.

∂30-Jan-80  1419	JMC  
To:   JCH    
send tty1 also worked.

∂30-Jan-80  1522	JMC  
To:   REG at SU-AI, ME at SU-AI, ROB at SU-AI, MRC at SU-AI,
      ROY at SU-AI   
I have a demo tonight between 8 and 9, so hopefully no emergencies.

∂30-Jan-80  1534	JMC  
To:   JCH    
Arthur Samuel 497-1758 did indeed use Walsh transforms, and will talk.

∂30-Jan-80  1635	JMC  
To:   MP
Please decorate elitho.le1.

∂30-Jan-80  2226	JMC  
To:   ROY, DC
I returned 6 monitors, the connectors, and the hand truck to 020F.

∂30-Jan-80  2326	JMC  
To:   EAF at SU-AI
Ed:

	The following is symptomatic of the fact that carrying student
computing on project accounts is likely to be difficult.  If it is to be
done at all, there will have to be departmental effort.

 ∂29-Jan-80  1710	GIO  	Accounts 
To:   LES, JMC    

I looked at S-1 detail accounts and with costing being near I think some
rearrangements are in order.  I see many people with S-1 accounts whom I
don't even know.  I see people that are definitly not doing S-1 stuff
(e.g., Kaplan = SJK).  I see people who are doing some S-1 stuff but also
other stuff now (e.g., ARK).  There are undoubtedly also people who are
half and half and no mechanism for splitting up accounts seems to exist.
Perhaps people should be encouraged to log in on different projects of the
same programmer with the accounting based on projects instead of account.

In the meantime I'd like to make a pass dividing people into CSD project,
Kosher Livermore, and unknown.
Should we do this together or do you want a list?

Gio

∂31-Jan-80  1033	JMC  
To:   TOB    
I'll be there.

∂31-Jan-80  1142	JMC  	distribution of a memo  
To:   MP
The file AIPHIL.MAI contains a mailing list for AI and philosophy
group memos.  Please look at it.  Also please print PROBLE.XGP[W80,JMC]
and send copies by campus mail to the six on the list.

∂31-Jan-80  2017	JMC  	requests to XGP    
To:   MP
The members of the AI and philosophy group at CASBS have terminals
and accounts on this machine, but there is no printer at CASBS.  Some of
them may occasionally MAIL you requests to XGP files and send them
by campus mail.

∂31-Jan-80  2153	JMC  
To:   CJS    
circum.w80[w80,jmc] should be made into an AI memo.

∂01-Feb-80  1129	JMC  
To:   MP
Monica:
	GOAD.RE1 is a recommendation for Chris Goad.  Please make another
addressed as below called GOAD.RE2, pub it and print it.

 ∂01-Feb-80  1027	CG  	another recommendation   
Here is (yet) another address where a letter of recommendation for me is wanted:

Josina M. Arfman- Van der Maas, Manager
Corporate Ph.D. Program
Thomas J. Watson Research Center
P.O. Box 218
Yorktown Heights, New York 10598

Thanks.

∂01-Feb-80  1131	JMC  
To:   hpp.genesereth at SU-SCORE 
I would like to see MACSYMA here, although I have no specific plans
to use it.  I don't find our machines heavily loaded at present, but
maybe this is because I mainly use it for writing.

∂01-Feb-80  1317	JMC  
To:   DCD    
In the third sentence, it's "Hilary".

∂01-Feb-80  1417	JMC  
To:   MP
Please print and send me on copy of TEACH.NS[W80,JMC].

∂01-Feb-80  1433	JMC  	doyle    
To:   LES    
Could you send Doyle a letter offer $25.3K, on day consulting provided
it doesn't interfere with duties.  Two year app't renewable if
mutually agreeable.  Usual boiler plate.

∂01-Feb-80  1641	JMC  
To:   LES    
Right you are.

∂01-Feb-80  1908	JMC  
To:   DCD    
2nd try:  Wasn't it Mallory (192x) who said "Because it's there"?

∂01-Feb-80  1952	JMC  
To:   MP
beckma.xgp

∂02-Feb-80  0815	JMC  
To:   MP
Please xgp and campus mail BREZHN.NS[W80,JMC].

∂02-Feb-80  2321	JMC  
To:   LES    
Better check with Feigenbaum or his sec'y about availability of conf. room.

∂04-Feb-80  0155	JMC  	Syllabus 
To:   DBL at SU-AI
1. The Mechanization of Thought Processes is a symposium proceedings that
contains one of my papers Programs with Common Sense along with papers
by others.  You should list this proceedings as an alternate source of
the Advice Taker since the other is no longer in print.

2. I suggest you include my Ascribing Mental Qualities to Machines (a
recent AI memo) in Philosophical Issues.

∂05-Feb-80  0912	JMC  
To:   MP
Please print a copuy of ISRAEL.SPE[F79,JMC].

∂05-Feb-80  1749	JMC  	raviv    
To:   MP
Dr. Joseph Raviv
IBM Scientific Center
Technion
Haifa, Israel

∂06-Feb-80  0914	JMC  
To:   CLT    
Mr. Pierce said he would come tomorrow.  He'll phone late afternoon.

∂06-Feb-80  1718	JMC  	xgp 
To:   LES, REG    
There have been a lot of messages pleading for help with the xgp.  I suggest
that a session be held to teach whoever wants to know those things that
a non-expert can do to get the xgp going again and how to tell the difference.

∂06-Feb-80  2316	JMC  
To:   REG, ROY    
Please tell the phone man that his last fix broke my Imlac line.

∂08-Feb-80  1634	JMC  
To:   FB at SU-AI, EAF at SU-AI  
Having just been refused an account, my attitude to the 4331 has changed.

∂09-Feb-80  1044	JMC  
To:   MO at SU-AI 
Who was it who said I couldn't get a 4331 account without being part of joint study?

∂09-Feb-80  1414	JMC  
To:   FB at SU-AI 
the name should be mccarthy and the password should be 848-0898

∂09-Feb-80  1757	JMC  	4331
To:   FB at SU-AI 
Maybe you didn't get the reply I SENT you.  It was a student-age
person in the machine room to whom Mo referred me when I asked for
an account.  I want it merely to keep up on interactive characteristics
of that operationg system, which I don't suppose is part of the joint study.

∂09-Feb-80  1809	JMC  
To:   MO at SU-AI 
id=mccarthy password=848-0898

∂10-Feb-80  2116	JMC  	xgp 
To:   DEA    
Please do not go away and leave a job on the xgp, when the xgp isn't
working.  If you don't want to bother to try to unjam the paper cutter,
then unspool your job.  There is no-one whose regular job it is to
fix it for you.  You have been around long enough so that you should
have gotten someone to teach you how to unjam paper.

∂11-Feb-80  1106	JMC  
To:   doyle at MIT-AI  
It will contain whatever is standard, and I'll find out what that is.

∂11-Feb-80  1553	JMC  	Raymond Reiter
To:   MP
REITER.LE1 is a letter that I don't remember whether I sent.  Do you
know whether it was sent?

∂11-Feb-80  1554	JMC  	visit    
To:   minsky at MIT-AI 
Do you want to visit the AI and philosophy group for a week or two?  We
can pay expenses.  Adjoining our conference may be connvenient for you
and is ok with us, but because there will be lots of visitors, another
time before June would generate more interaction.

∂11-Feb-80  1558	JMC  
To:   MP
Could you MAIL me Reiter's phone number?  I think you have a letter filed.

∂11-Feb-80  1559	JMC  
To:   MP
P.S. MAIL means a computer message rather than campuss mail.

∂11-Feb-80  1832	JMC  
To:   MP
See if you can find two passport photos in a file somewhere.

∂12-Feb-80  1407	JMC  
To:   TOB    
Glad to.

∂12-Feb-80  1436	JMC  	more on visa application
To:   MP
Thanks for finding the photos.  In my in box are two copies of a Russian
visa application, one of which I have filled out.  Please copy the
information from the first onto the second - except for signature.

∂12-Feb-80  1438	JMC  	terminal 
To:   JK
CC:   JCH, LES    
A Datamedia terminal you can use is now at CASBS.  It is now in
John Haugeland's office and will be in a box either in his office
or mine.  You can come for it at your convenience but phone first.
321-2052 and ask for me or him.

∂12-Feb-80  1509	JMC  
To:   MP
Yes, please locate him.

∂12-Feb-80  1528	JMC  
To:   minsky at MIT-AI 
The conference is monday march 24 to wednesday march 26 here on ai
and philosophy.  You were supposed to have been sent an invitation,
and I will make sure.

∂12-Feb-80  1832	JMC  
To:   JK
A terminal for you is now in my car.  Call my home 321-7580 tonight if you want.

∂13-Feb-80  1336	JMC  
To:   bmoore at SRI-KL 
I can attend on any of the proposed dates, will have a formal presentation,
and will not need support.

∂13-Feb-80  1338	JMC  
To:   PLS    
No seminars are currently scheduled.

∂13-Feb-80  1441	JMC  
To:   MP
perry.xgp for signature

∂13-Feb-80  1444	JMC  
To:   DPB at SU-AI
Here is a new version of catalog material for cs226.

226. Epistemological Problems of Artificial Intelligence - Formalisms for
representing what a general intelligent program must know about the common
sense world including facts about causality, ability, knowledge and
action.  Modes of rigorous and conjectural reasoning, especially
non-monotonic reasoning.  Approximate theories and counterfactuals.
Connections with philosophy, especially philosophical logic and
epistemology.  Some familiarity with first order logic will be assumed.

∂13-Feb-80  1450	JMC  
To:   LES, RWW, LGC    
Monday March 31 is best for me for the meeting with Englemore.
Any conflicts?

∂13-Feb-80  1452	JMC  
To:   englemore at USC-ISI  
Tentatively, Monday March 31 is best.

∂13-Feb-80  1453	JMC  
To:   engelmore at USC-ISI  
Tentatively, Monday March 31 is best for Formal Reasoning meet.

∂13-Feb-80  1455	JMC  
To:   CLT    
I picked up Moschavakis and Maclane from bookstore.

∂13-Feb-80  1534	JMC  
To:   LES    
Ketonen now has the second Datamedia I took to CASBS, i.e. Hayes's.

∂13-Feb-80  1606	JMC  
To:   MP
sloman.xgp

∂13-Feb-80  1816	JMC  
To:   ROY    
The Dialnet connection is now very high priority, and my Imlac is broken.

∂14-Feb-80  1125	JMC   via SU-SCORE  
To:   MP
Please hold off on the letter to Sloman; revisions needed.

∂14-Feb-80  1409	JMC  
To:   MP
sloman.xgp is ready again.

∂14-Feb-80  1508	JMC  
To:   MP
DAILY.XGP

∂15-Feb-80  1451	JMC  
To:   ME
;u

∂15-Feb-80  1452	JMC  
To:   ME
Some random mail apparently sent you from NS by accident.

∂15-Feb-80  1458	JMC  
To:   BS at SU-AI 
I got needed info from Phyllis Winkler.

∂15-Feb-80  1534	JMC  
To:   PHY    
Thanks, Phyllis.

∂16-Feb-80  1100	JMC  	equipment
To:   REG    
0081 just worked for me.  I forgot to say that 321-4562 was also sick
but differently.  Namely, it produced an infinite sequence of ?????
till sometimes it and sometimes I got tired and hung up.  As for the
equipment, Roy has left a Tektronix 454A scope here, and that seems
to be all.  The Imlac doesn't work still; I have taken home the
Datamedia from my CASBS office, and I suppose I'll move it back and
forth till the Imlac works.  I would like it to live till summer
after which I propose to retire it and use either a Datamedia or
one of Baskett's fancy new terminals.
I can bring in the Tektronix if that will help.

∂16-Feb-80  1320	JMC  
To:   REG    
I did set the Datamedia speeds to 300-300, but if you don't mind, I won't
pursue the matter further now.  If there is something wrong, no doubt someone
else will complain.

∂17-Feb-80  1423	JMC  
To:   selfridge at BBN-TENEX
CC:   minsk at MIT-AI, ef at MIT-AI   
	I would like to see one additional issue mentioned in the TAC
report.  It was remarked in several places that once III got the language
software, many modifications and enhancements would be required.  This is
so, but III should make repeated efforts to innovate in language as little
as possible and TO RETURN TO THE FOLD as soon as the required features
were available in the standard systems.  This is important in the
"improvements through politics" doctrine.  When we first received the DEC
System 20 for student use, we had to modify the disk file system in order
to increase the number of allowed directories from 400 to 3000 so we could
give each student a directory.  However, as soon as we succeeded in
politicking D.E.C.  into putting the feature into the standard operating
system, we reverted to standard.  This kept us in line for future
improvements.  In the minutes so far, I see no indication that the need
for a continuing effort to stay with the manufacturer software is
understood.

∂17-Feb-80  1926	JMC  
PASCAL is largely being promoted in the computer science teaching
community.  If C is being used for all kinds of real time system
work it is worth looking into.  However, this assumes that it
is available.  It just occurs to me that I will meet Doug McIlroy
on Tuesday, and I can ask him what the C situation is as far as
outside availability.

∂17-Feb-80  1926	JMC  
To:   selfridge at BBN-TENEX
PASCAL is largely being promoted in the computer science teaching
community.  If C is being used for all kinds of real time system
work it is worth looking into.  However, this assumes that it
is available.  It just occurs to me that I will meet Doug McIlroy
on Tuesday, and I can ask him what the C situation is as far as
outside availability.

∂20-Feb-80  2015	JMC  
To:   JRA    
I see no advantage in advertising LISP after 20 years.  I also see no
advantage in the glossy brochure.  I trust that you will be able to
reimburse yourself for expenses out of the conference registration.
What happened to your discussions with Nilsson about having IJCAI
grubstake the conference?

∂20-Feb-80  2016	JMC  
To:   HVA    
Don't think I ever saw it.  Maybe it's in my incoming mail.

∂20-Feb-80  2018	JMC  
To:   MP
Did my letter to Sloman go out?

∂21-Feb-80  1034	JMC   via SU-TIP    
To:   CET at SU-AI
Taylor is at IBM in Boca Raton, fλFlorida.

∂21-Feb-80  1036	JMC   via SU-TIP    
To:   REG, ROY    
0081 answers but gives no carrier again.

∂22-Feb-80  0023	JMC  
To:   ROY    
Sorry I missed your message.  tomorrow it will have to be.

∂22-Feb-80  0024	JMC  	imlac    
To:   ROY    
Marvin Minsky notices that the power transistor Q303 is ice cold and
Q304 is pretty cold, but he isn't sure that it means anything.

∂22-Feb-80  0934	JMC  
To:   MP
deakin.xgp[let,jmc]

∂22-Feb-80  1658	JMC  
To:   MP
I have printed and signed the Deakins letter.

∂22-Feb-80  1756	JMC  	j,pat    
To:   PAT    
I have created an area pat,jmc.  Could you rename the files to it?
Do you know if any of them contain recommendation or other mmterial
that should be confidential?

∂22-Feb-80  1840	JMC  
To:   ROY    
The Imlac seems to be working ok.  What seems to you to be wrong?

∂24-Feb-80  1459	JMC  	Minsky and JMC idea
To:   LLW    
Minsky and I have a space transportation idea that may interest you.
Call 321-7580 today if you get this.

∂24-Feb-80  1557	JMC  
To:   HPM    
Rumor has it that you are at CMU now.

∂24-Feb-80  1831	JMC  
To:   LLW    
Minsky and I want to talk to you about a particle supported skyhook.

∂24-Feb-80  2301	JMC  	Another skyhook    
To:   HPM    
Minsky and I have another skyhook that requires much less strong
materials.  It has many variants, but imagine six 1000 mile skyhooks
evenly spaced around the equator.  At the top of each skyhook is
a particle deflector, and the particles go at (say) 10↑5 meters/sec
in the obvious hexagonal path, and the skyhooks are held up by
their reaction with the particle streams.  At the cost of more
skyhooks and less momentum change per collision, we can make the
skyhooks shorter.

	What can you say about the feasibility of such skyhooks with
present materials?

	A preliminary writeup is HOOK[W80,JMC].

∂24-Feb-80  2308	JMC  
To:   moravec at CMU-10A    
Message for you at SAIL.

∂25-Feb-80  0113	JMC  
To:   MRC at SU-AI, ME at SU-AI  
Why does sd score call up SAIL?

∂25-Feb-80  0127	JMC  
To:   MRC at SU-AI
Is there a good way to access SCORE if I want to use EMACS there?

∂25-Feb-80  1204	JMC  
To:   wiederhold at SUMEX-AIM    
Thanks for the Whitesmith address.

∂25-Feb-80  1212	JMC  
To:   MP
FENAUG.XGP

∂25-Feb-80  1512	JMC  
To:   minsky at MIT-AI 
 ∂25-Feb-80  1345	HPM   via CMU-10A 	cross fertilization 
I mentioned your idea to Bob Forward, and he pointed
out that the essence of your invention is a substitute for
a compressive member. He suggested a simpler variant;
a short anchord skyhook is supported by masses tossed
back and forth between its ends. I visualize a dual
mass driver at each end.

∂25-Feb-80  1710	JMC  	Ballistic Support of Space Stations    
To:   LLW at SU-AI
CC:   minsky at MIT-AI 
Thanks for your help last night.  Would you and/or Rod be interested
in being a coauthor of a paper on the concept?  We especially need
a better discussion of the deflector than our own knowledge can supply,
but I suppose you would also be interested in configurations and
applications. Since we can all communicate by computer, I don't
envisage a face-to-face meeting.

∂25-Feb-80  1732	JMC  
To:   DCD    
Could I get copies of the Searle and Kripke papers you mentioned?

∂25-Feb-80  1859	JMC  
To:   MP
FENAUG.XGP is signed and sealed.  The letter to Hirsch is urgent.

∂25-Feb-80  1938	JMC  
To:   PAT    
Thanks Patte.

∂26-Feb-80  0114	JMC  
To:   minsky at MIT-AI 
[ Dear John:

Rod and I would both be interested in working on this with the two of you.
I agree that we should be able to get the necessary work done by  computer
mail.  Will you post a (very general, if appropriate) outline, and  assign
authorship of the first draft by sections, so we will mesh well without  a
great deal  of overlap;  also, would  you designate  a file  area (with  a
strong preference  for SAIL,  as  neither Rod  nor  I speak  foreign  site
languages) where the master draft will be kept?

I will be on travel until Thursday  evening, but both Rod and I should  be
able to get our portions done in first draft this coming weekend (or so it
appears from here).

Lowell]

∂26-Feb-80  1115	JMC  
To:   LLW    
Your offer accepted, but I probably won't have the outline by Thursday.

∂26-Feb-80  1348	JMC  
To:   MP
Thanks for sending letter.

∂26-Feb-80  1414	JMC  
To:   MP
Please print COHEN[W80,JMC], and put it in my IN box.

∂26-Feb-80  2037	JMC  
To:   LLW    
For your information.
 ∂25-Feb-80  1345	HPM   via CMU-10A 	cross fertilization 
I mentioned your idea to Bob Forward, and he pointed
out that the essence of your invention is a substitute for
a compressive member. He suggested a simpler variant;
a short anchord skyhook is supported by masses tossed
back and forth between its ends. I visualize a dual
mass driver at each end.

∂26-Feb-80  2054	JMC  
To:   minsky at MIT-AI 
I received one at 1538 only.

∂27-Feb-80  1955	JMC  
To:   rwg at MIT-MC    
Apparently not.

∂28-Feb-80  0829	JMC  
To:   LES    
I don't understand when the year you refer to begins and ends.

∂28-Feb-80  1613	JMC  
To:   HVA    
I presently plan to come.

∂28-Feb-80  1719	JMC  
I guess I had better remain on leave.

∂28-Feb-80  1719	JMC  
To:   TOB    
I guess I had better remain on leave.

∂29-Feb-80  0041	JMC  	line from computer to Imlac  
To:   ROY    
I'm getting an enormous amount of random characters on
the line from the computer.  There seems to be no
problem in the other direction.

∂29-Feb-80  0148	JMC  
To:   ROY    
For no apparent reason, the trouble went away.

∂29-Feb-80  1033	JMC  
To:   LES    
How do we stand with Ed's request to help Ullman?  I think we are getting
started slowly and so can do it, especially if we can perhaps get some
of it back later.

∂29-Feb-80  1109	JMC  
To:   TOB    
Yes.

∂29-Feb-80  1806	JMC  
To:   rosenow at SUMEX-AIM  
I would like to see Meera Blattner of NSF on Tuesday.
Any afternoon time would be fine.

∂01-Mar-80  1501	JMC  	send copy of israel speech   
To:   MP
Please send it to Jim Bair.
Note: If I don't give an address, it's in PHON[LET,JMC].

∂01-Mar-80  1505	JMC  	address  
To:   MP
Please send Elliott Bloom at SLAC a note saying that Bill Evers
(address in PHON) would like to be on SE2 mailing list.

∂02-Mar-80  1018	JMC  	Heiss    
To:   CLT    
Joe will be at SRI on the 18th on the 20th and would like to
get together.

∂02-Mar-80  1535	JMC  
To:   MP
SCHWAR.LE1 needs full address of Courant Institute.

∂02-Mar-80  1540	JMC  	paper    
To:   LLW    
Two questions:

1. What is the feasible range of velocities for the cannonballs?  The
faster they are, the less mass is required in a system.

2. What is likely to be the major cause of dissipation, and do
you have any idea how large it would be?

∂03-Mar-80  1036	JMC  
To:   rosenow at SUMEX-AIM  
Where?

∂03-Mar-80  1128	JMC  
To:   CLT    
stamps

∂03-Mar-80  1129	JMC  	stamps   
To:   CLT    
Sorry about previous message.  
Could you pick up a roll of .15s today or tomorrow - either
from the post office or from the department if they sell them.
Also about 5 two cent stamps.

∂03-Mar-80  1407	JMC  
To:   HVA    
3pm would be most convenient, but any time is possible.

∂03-Mar-80  2203	JMC  
To:   MP
Please send a copy of energy.xgp[w80,jmc] to Les Dugan.

∂04-Mar-80  1605	JMC  
To:   MO at SU-AI 
Thanks Mo, and please transmit my thanks to whoever co-operated.

∂04-Mar-80  1712	JMC  
To:   MP
Sending the proofs back to North-Holland is urgent. Be sure it's airmail.

∂05-Mar-80  1404	JMC  
To:   MP
The proofs are in my out box.

∂05-Mar-80  1405	JMC  
To:   DPB at SU-AI
I will teach it.  Either time is ok.

∂05-Mar-80  1413	JMC  
To:   MP
Please  xgp beyond[w80,jmc] and send it to me at casbs.

∂05-Mar-80  2012	JMC  
To:   DPB at SU-AI
Is it too late to change CS206 blurb in catalog?

∂06-Mar-80  0007	JMC  
To:   JK
	Here are some comments on KNOW.SUG[1,JK].  Would you like to
come out to CASBS for lunch, say on Tuesday?  Otherwise, we might
get together late today or tomorrow or over the weekend.

1. I like the idea of Wiser(M α), which hadn't occurred to me.  However,
to translate my formulation of S and P, we might need Wiser1(M α) which
would be the knower like M but who now knows whether α.
Your axiom (3) would then become

 (3')	∀ M α.α ⊃ Wiser1(M α)↔α ∧ ¬α ⊃ Wiser1(M α)↔(¬α).

	It seems to me that Wiser(M α) (or Wiser1(M α)) may be limited
in its extendability to larger AI contexts.  How can we say that
after M looks up a telephone number in the book, he will know it.

	I don't see that your formalism permits saying that the only
thing that S knows about the numbers is their sum.  How do your axioms
exclude the possibility that S knows that the numbers are odd and that
P knows S knows it.  My axioms say that by saying that they jointly
know that for each m and n consistent with the sum, there are worlds
accessible for S in which x and y have the values m and n.
Having sufficient power to state non-knowledge has always been the
main problem for me in devising a suitable formalism.
	Introducing formulas as the objects of knowledge is possible,
but it has the disadvantages that Montague and other philosophers and
logicians have pointed out.  I prefer abstract objects called
propositions which keeps us in first order logic.  With the aid
of abstract syntax (do you know about it), we can import as much
of the logic into these propositions as is convenient.
Quantifying in can be handled in the formalism by providing (or defining
with the aid of the abstract syntax) a substitution operator that
is used explicitly.
	I don't understand the statement about not being in the
business of duplication of reality.

	I agree with the idea that the metatheory should be included
in the theory itself, but then we have to get around Montague's
paradoxes, and I think this can be done by some trick analogous to
the restrictions on comprehension in ZF, but applied to what sentences
can be objects of knowledge.  Perhaps the restriction would involve
the ranges of the quantifiers that could occur in such sentences.

	I also don't understand about "mathematical ACTION".

∂06-Mar-80  0059	JMC  	Sloman   
To:   bobrow at PARC-MAXC   
I heard that Aaron Sloman asked you about travel support, and it
makes me wonder whether he got my letter offering him support to
come to our conference.  When did he make this inquiry, and was
it from his home base?  Also what phone numbers do you have for
him, especially a home phone?

∂06-Mar-80  0224	JMC  
To:   PJH    
Please make Tiki reservation starting Sunday night for Sloman.

∂06-Mar-80  1034	JMC  
To:   csd.golub at SU-SCORE 
I think we might increase the number a bit.  I assume you meant
"People's Republic of China" which is the mainland not "Republic
of China" which means Taiwan.  Republic of China can be treated
in the usual way, I would think.  As for the People's Republic,
judging from the case of Yue, it seems to work to admit them to
the Master's program, and then see if they work out there.
I hope there are a few good students who will take an interest
in AI theory - preferably with some background in logic.

∂06-Mar-80  1036	JMC  
To:   bobrow at PARC-MAXC   
Thanks.  I asked for a home number, so I could call him during working
hours, but I stayed up late enough to call him at work.

∂06-Mar-80  1053	JMC  
To:   JK
(b) "A Paradox Regained" with David Kaplan, Notre Dame Journal 1960 and
Syntactical Treatments of Modality, with Corollaries on Reflexion
Principles and Finite Axiomatizability in Acta Philosophica Fennica 1963.
Both papers are reprinted in his posthumous Formal Philosophy, Yale
University Press, 1974.
(a) Abstract syntax is introduced in my "Towards a Mathematical
Science of Computation" proceedings International Congress on
Information Processing 1962.  Its not a deep idea.  Instead of
regarding wffs and their parts as strings, we can regard them
as elements of an abstract space with predicates and functions
to test them and taket them apart and put them together.  If one
is using FOL, one can define the domains abstractly and not have
to deal with FOL formulas.

∂06-Mar-80  1054	JMC  
To:   DBL at SU-AI
I didn't have a strong enough reaction to justify action.

∂06-Mar-80  1634	JMC  
To:   MP
Look up Irene Miller in PHON and have this lawyer ask her.

∂06-Mar-80  1654	JMC  	4331
To:   EAF at SU-AI, FB at SU-AI  
I briefly had an account on the 4331, but they cancelled it again.
I understand it was on instructions from Friedl or Flatt.  The project
has always been of marginal value, and it is now my opinion that
the Computer Science Department has better uses for the space it
occupies.

∂06-Mar-80  1847	JMC  
To:   LGC    
No.  Better just mention a personal conversation.

∂06-Mar-80  2313	JMC  	your project  
To:   LB
As I recall, the project is for credit and this quarter.  Therefore,
unless you wish to extend the formal part or just postpone its
conclusion, there should be a writeup.  I don't care how short it
is, but it should be written for someone with no previous acquaintance
with the project and in good English, and it should explain clearly
what you have done, why, and the results.  Perhaps, as G. H. Hardy
might have said, if I knew your previous writing, I wouldn't speak
"like a missionary lecturing to cannibals, but with a decent terseness
and restraint".  However, the null hypothesis is that many people
like computing, because it permits them to write only to the computer.

∂07-Mar-80  1056	JMC  
To:   berliner at CMU-10A
CC:   ef at MIT-AI   
In my opinion, offering the prize at a time when AI is so far from being
able to deliver creates expectations that will lead to disappointment
and recrimination.  Also the work put into negotiating with FIDE might
better be spent in science.  Modest suggestion: put off even the negotiation
till a program reaches the master level.  It will take less time then,
because FIDE will take it more seriously then.  In any case, include me
out.

∂07-Mar-80  1126	JMC  
To:   HVA    
biojmc[j,pat]

∂07-Mar-80  1726	JMC  
To:   EGL    
Please send the tape to Deakins at the address given in the letter
I gave Hersche and send a suitable cover letter.  Be sure the return
address and a card with the tape identify who sent it to them.
Thanks.

∂11-Mar-80  2059	JMC  
To:   EGL    
Yes, please send out the travel expense forms.  Thanks for the messages.

∂11-Mar-80  2113	JMC  	mental.xgp    
To:   EGL    
Please print a copy of MENTAL.XGP[W80,JMC] and send it to Professor Allen Newell
Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA.
It has 26 pages.  Please check for gross blemishes and if necessary reprint
the file.

∂11-Mar-80  2117	JMC  	AI Memo 326   
To:   newell at CMU-10A
A somewhat corrected copy will be mailed today.  If you are in a hurry,
the file is MENTAL[F76,JMC].

∂12-Mar-80  0000	JMC  
To:   ME
I notice that the date in who changes before the time.  Can it cause bugs?

∂12-Mar-80  0223	JMC  
To:   ME
On my Imlac tonight, the date changed to Wednesday, but the time
remained at 23:59 for perhaps 30 seconds.  If this isn't just an
artifact of the wholine program, it might cause bugs in the dates
and times attached to files.

∂12-Mar-80  1126	JMC  	FILE
To:   EGL    
Please print two copies of PSYCHO.NS[W80,JMC] and send one to
Judith Wallerstein at CASBS and the other to me at CASBS.

∂12-Mar-80  1258	JMC  
To:   LES    
Right.

∂12-Mar-80  1259	JMC  
To:   LES    
The offer should explicitly mention using the computer as part of the job.

∂12-Mar-80  1301	JMC  
To:   LES    
Wait till I come in.  I'll see you arount 4:30.

∂12-Mar-80  1356	JMC  
To:   EGL    
Thanks. I'll be in late this afternoon.

∂13-Mar-80  0126	JMC  	skyhook  
To:   LLW at SU-AI, RAH at SU-AI, minsky at MIT-AI   
Yes, I got your messages.  I have not been communicating because I
was trying to do my share of the calculations, but since they are
physics calculations, I have been making slow progress, and maybe
I should leave physics to the physicists.  Specifically, I was trying
to compute the angles of deflection of the cannonball streams as
a function of velocity for the hexagonal and other skyhook configurations
taking the elliptical orbits into account.  I still don't have it.

I am impressed by your progress, and maybe I will try to write
an outline this weekend as well as thinking about more configurations.

It seems to me that the most difficult problem for the readers will
be convincing them that the losses can be kept small enough even
with superconducting deflectors.  I must confess that I don't understand
the physics of the deflectors yet.
It would be worthwhile to design an experiment aimed at demonstrating
the maintenance of a steady stream with acceptable losses.  Even if
the tower were only a meter high with up and down going streams, the
experiment would contribute to confidence in the scheme.  Would it cost
more than a few tens of thousands of dollars, and is it within range
of Livermore discretionary funds?

∂13-Mar-80  1547	JMC  
To:   TOB    
Yes if you are in a position to look for one.

∂13-Mar-80  1634	JMC  
To:   HVA    
Thanks.

∂14-Mar-80  0355	JMC  	prototype
To:   LLW, RAH    
The simplest prototype is a perpetually bouncing ball.  Next comes a
very fast ball bouncing between two deflectors.  How hard would these
be to realize?

∂15-Mar-80  1447	JMC  
To:   CLT    
I'll be in in about an hour.

∂15-Mar-80  1641	JMC  	NSF renewal   
To:   HVA, LES    
RENEW.PRO[W80,JMC] is the proposal for renewing my NSF
and supplementing by paying Doyle's salary.  It needs a
budget with the  supplement segregated from the simple renewal.
The numbers on the front must match the budget.
It should get out this week.

∂15-Mar-80  1834	JMC  	offer    
To:   doyle at MIT-AI  
A hitch developed with money, but it's resolved.  We should be able
to mail the offer Monday.

∂15-Mar-80  2056	JMC  
To:   minsky at MIT-AI, LLW at SU-AI, RAH at SU-AI   
How about you all coming to dinner Saturday night?

∂16-Mar-80  1214	JMC  
To:   minsky at MIT-AI 
I don't know any Shell and neither does the system.  Do you know whom
he might be visiting?  By the way, how about dinner Saturday night
as per previous message?

∂16-Mar-80  1903	JMC  
To:   marimont at SRI-KL    
Memo is in my office in mjh for you to pick up from secretary.

∂16-Mar-80  2144	JMC  	searle   
To:   DCD    
Could I persuade you to look at the last page of SEARLE[W80,JMC] before
I send it to BBS.  I want to be brief but not cryptic.

∂16-Mar-80  2146	JMC  
To:   PB
If you still need the afore-mentioned argument phone 321-7580.

∂16-Mar-80  2240	JMC  	Marchuk  
To:   feigenbaum at SUMEX-AIM    
Did you notice that Marchuk has succeeded Kirillin has head of
the State Committee for Science and Technology and Deputy Premier.

∂17-Mar-80  0126	JMC  
To:   boyer at SRI-KL, moore at SRI-KL
Many thanks for the copy of your book.

∂17-Mar-80  1128	JMC  
To:   siegman at SUMEX-AIM  
XGP willing, you'll have it.
 ∂17-Mar-80  0744	Siegman at SUMEX-AIM 	Symposium paper   
Date: 17 Mar 1980 0740-PST
From: Siegman at SUMEX-AIM
Subject: Symposium paper
To:   bair, mccarthy at SAIL
cc:   sandelin

John, Jim passed me a copy of "The Real Computer Revolution" which I
have just glanced at.  Before it goes into the collection that will
be reproduced for attendees at the symposium next week, I've asked
for three minor changes:

1) p. 11, "...IBM which has generously invited me to this symposium."
  delete rest of sentence following I"IBM".

2) p. 12 "...Lewis Branscomb gave an interesting example this morning..."
  delete "this morning."

3) p. 13--  delete questions and answers following presentation

  (from earlier talk)

Jane Marcus is assembling the outlines and/or papers the speakers have
sent--I have told her to make these changes with liquid paper as
a last resort.  If you could regenerate p. 11 and 13 minus
those references and send via ID mail to Jane at Cedar Hall, that
would make for much cleaner look.  Thanks - Jeannie Siegman 
-------

∂17-Mar-80  1129	JMC  	paper    
To:   siegman at SUMEX-AIM  
Sorry about sending back whole page.  Message was "XGP willing, you'll have
it".

∂17-Mar-80  1210	JMC  
To:   bair at SUMEX-AIM
CC:   siegman at SUMEX-AIM  
My impression agreed with yours, and I was preparing a different
paper.  When I received the Siegman message I was confused and
supposed I was being let off easy.  It will be ready soon.

∂17-Mar-80  1845	JMC  
To:   JMC    
call martha (preferably before mdnight)

∂18-Mar-80  1130	JMC  
To:   BS at SU-AI 
Please hold it a bit longer.  I'm going to Bakersfield today, and I'll
try to take care of deciding between Lynn Larson and Frances Larson
tomorrow.

∂18-Mar-80  1131	JMC  
To:   EGL    
Tomorrow, I hope.

∂19-Mar-80  1424	JMC  
To:   REG    
I suppose we should wait for Tim, although we could offer to lend
him equipment until his gets fixed.

∂19-Mar-80  1513	JMC  	dinner   
To:   HPM
CC:   LLW   
Marvin Minsky, Lowell Wood and Rod Hyde are coming to dinner Saturday.
Will you still be around, and would you like to come if so?

∂19-Mar-80  1521	JMC  
To:   forward at USC-ECL
CC:   minsky at MIT-AI, LLW at SU-AI, RAH at SU-AI, HPM at SU-AI   
You're welcome to inform Clarke as far as I am concerned.  The name
"dynamic compression" also occurred to me, but it reminded me of
the "dynamic tension" of the Charles Atlas ads, so perhaps we should
inform the ghost of Charles Atlas.

∂19-Mar-80  1538	JMC  	people interested in formalized legal reasoning  
To:   gardner at SUMEX-AIM  
Frank Zimring from U. Chicago, who is here at CASBS this year,
mentioned other people interested in formalization of legal
reasoning.  Ewart Thomas from Stanford Sociology, here at CASBS
this year, and Leah Brillmeyer, U. of Chicago Law School, is
also working in that direction.

∂19-Mar-80  1647	JMC  
To:   minsky at MIT-AI 
csd.Vanderschel@score

∂19-Mar-80  1836	JMC  
To:   TOB    
it is biojmc[pat,jmc].

∂20-Mar-80  2155	JMC  
To:   LES    
Let's try (1), (2) and (3) in that order.

∂20-Mar-80  2157	JMC  
To:   HVA    
OK and thanks, Hersche.

∂20-Mar-80  2237	JMC  
To:   HPM    
RSVP on Saturday dinner invitation.

∂21-Mar-80  0011	JMC  
To:   HPM    
Tomorrow will be fine.

∂21-Mar-80  0024	JMC  
To:   DCD    
Do you know Martin Ringle's current address?

∂21-Mar-80  1054	JMC  
To:   siegman at SUMEX-AIM  
I will call Jane Marcus.  It should be ready today - probably by noon.

∂21-Mar-80  1055	JMC  
To:   JRA    
Yes, I guess I'm too busy for reviewing, and I always do it badly.

∂21-Mar-80  1100	JMC  
To:   EGL    
Please pub and print ringle.le1.

∂21-Mar-80  1204	JMC  
To:   siegman at SUMEX-AIM  
Not by noon but this afternoon.

∂21-Mar-80  1614	JMC  
To:   sandelin at SUMEX-AIM 
Dinner probable but what day?

∂21-Mar-80  1644	JMC  
To:   sandelin at SUMEX-AIM 
I think I can't but I'll know Monday.

∂21-Mar-80  1755	JMC  
To:   HVA    
Can we get a key to the building to John Haugeland at CASBS?

∂21-Mar-80  1756	JMC  
To:   sandelin at SUMEX-AIM 
Alas, I have a banquet Tuesday night.

∂21-Mar-80  1808	JMC  
To:   doyle at MIT-AI  
Letter mailed.

∂21-Mar-80  1810	JMC  	Alcoa unrestricted 
To:   TOB    
If the ALCOA $5K or maybe even $10K is truly unrestricted, then
I would propose using it for the storekeeper project or for an
application like wire wrapping or envelope stuffing.  I believe
a little bread thrown upon this particular pond will be returned
manyfold eventually.

∂21-Mar-80  1927	JMC  
To:   HPM    
Thanks, but how did you come upon the message?

∂21-Mar-80  2230	JMC  
To:   LLW, RAH, HPM    
Please come at 6:30pm if convenient.

∂22-Mar-80  1225	JMC  
To:   HVA    
You can MAIL JCH when it is available, but I don't see that a building
key is too special to send by ID mail.

∂22-Mar-80  2243	JMC  
To:   kanerva at SUMEX-AIM  
The file is OFFICE[W80,JMC], you can ftp it to any
convenient computer.  I would like a copy back with
each correction annoated with  some special character, say &.
I don't mind it being included in the COST reprt.  Les Earnest
and I may want to publish an expanded version.  We can certainly
print a revised version Monday am, but for safety, a version
should be printed tomorrow just in case the XGP fails Monday.

∂23-Mar-80  1415	JMC  
To:   kanerva at SUMEX-AIM  
I tried to ftp file back, but it demanded a password.

∂24-Mar-80  0044	JMC  	OFFICE   
To:   KANERVA at SUMEX-AIM  
office.2[w80,jmc] incorporates almost all of both sets of corrections.
A pubbed and printed copy is in my secretary's office.

∂24-Mar-80  1337	JMC  
To:   csd.hill at SU-SCORE  
Yes, please install liquid chalk board.

∂24-Mar-80  1338	JMC  
To:   MRC at SU-AI
Is there a way mail to me at SCORE can be auto-forwarded to SAIL?

∂24-Mar-80  1532	JMC  	bbs address   
To:   JCH    
Do you have the complete BGS address, and it Harnad still the editor?

∂24-Mar-80  1533	JMC  
To:   JCH    
That was BBS, of course.

∂24-Mar-80  1644	JMC  
To:   FFL    
They may not recognize JMC.  If you put "from John McCarthy" on it, that
will suffice.

∂24-Mar-80  1646	JMC  
To:   FFL    
For future reference, that's Raj Reddy, a former

∂24-Mar-80  1701	JMC  
To:   FFL    
Please print SEARLE.XGP[W80,JMC] and make 40 copies.

∂24-Mar-80  1847	JMC  
To:   CET at SU-AI
It's in your box.

∂24-Mar-80  1848	JMC  
To:   FFL    
I came in and printed SEARLE.XGP myself.

∂25-Mar-80  1217	JMC  
To:   MRC at SU-AI
Thanks Mark.

∂25-Mar-80  1403	JMC  
To:   newell at CMU-10A
The book is indeed s said to be published, although I haven't received
my copy.  The version that was printed as an AI Memo was a draft
printed by mistake.  Therefore I tried and hope I succeeded in
having you sent the version that I hope was printed in the book.
I'll reply to your substantive comments later.

∂25-Mar-80  1457	JMC  	letter and paper   
To:   FFL    
HARNAD.XGP[LET,JMC] is a letter and SEARLE.XGP[W80,JMC] is a one page
paper.  Please print them next time the XGP is working and make an
envelope.

∂25-Mar-80  1502	JMC  
To:   newell at CMU-10A
Now that I have had time to read your note fully all I can say is that
I look forward to reading the paper.

∂27-Mar-80  1706	JMC  
To:   SEK    
Can you find a copy of this?
McCarthy, John\A time sharing operator program for our projected IBM 709\unknown\
Jan. 1959\2 copies\time sharing.					(GEN)

∂28-Mar-80  1257	JMC  
To:   bern at MIT-DMS  
Jmc: It seems to me that you exaggerate the effects of self-interest
on people's behavior, perhaps through not understanding the mechanism
by which self-interest affects behavior.  Time-sharing services are
not a natural monopoly, so for your horror story to come to pass,
you have to figure out how someone is to develop the self-righteousness
and political power to make it a monopoly.  It is easy to see that
a dictatorship of either the right or left could find reasons for
preventing misleading publication, but I can't see it happening
in a society that otherwise permits uncensored publication.

The polling problem is more complicated than it seems, because
the question arises of who gets to formulate the issues on which
polling takes place.  The Swedish nuclear referendum is a case
in point where the parties mixed the issue of capitalism vs.
socialism with the nuclear issue, and also left no option for
the unabashed nuclear enthusiast.

I would like to be on the mailing list, and I am pleased to have
people read the paper which is one of many "position papers" that
I have in the computer.  It would be nice to receive a message
when someone FTPs the paper just to get an estimate of readership.

∂28-Mar-80  1423	JMC  
To:   JCH, AS
See what you think of challe[w80,jmc].

∂28-Mar-80  2300	JMC  	your challenges    
To:   AS
It seems to me that your challenges are technical challenges to AI
research rather than conceptual challenges.  My idea was that AI could
benefit from interaction with philosophers by getting conceptual
challenges to the epistemological ideas implicit in the approaches used.
For example, do the recent discussions on "natural kinds" have
implications for AI?  My guess on this is that AI practice is
unsophisticated enough so that the issues don't actually arise.  Thus a
symbol has properties on its property list, but it doesn't make a
difference for the jpresent applications whether they constitute a
definition by descriptions.

∂29-Mar-80  1621	JMC  	various  
To:   AS
1. apostrophe is <top>i.
2. stopping printout is done by <ctrl>o on some terminals and by
<escape>o in others.  The former, as you are aware, involves typing
o while holding <ctrl>, while <escape>o is sequential.  Try both.
3. I was trying to concentrate attention on problems towards which
present day analytic philosophy might contribute a challenge.
It is also worthwhile to think up challenges not coming from that
source.

∂30-Mar-80  0134	JMC  
To:   AS
Your are right about <ctrl>break, etc.  It works to control typeout
but not to control display programs.

∂30-Mar-80  0138	JMC  
To:   AS
No need to worry about telephone charges, but we aren't supposed
to use the phones in the office for anything but calling the
computer since most offices don't have phones.  Local calls
do no real harm, but the phone in the library is available on
weekends, and you should get a key to it on Monday.

∂30-Mar-80  1529	JMC  	address space 
To:   doyle at MIT-AI  
I have discussed with Feigenbaum the address space problem, and
we have agreed to emphasize the use of our two VAXen for large
address LISP.  One will have 4 megabytes and the other 5, but these
can be expanded.  What is your estimate of requirements for the
near future?  Both VAXen will be on the Ethernet and will be reachable
from all office and all home terminals.

∂30-Mar-80  1556	JMC  
To:   TOB    
What is first initial of Riseman at U.Mass.?

∂30-Mar-80  1603	JMC  	Binford letter
To:   LES    
BINFOR.RE1 is a letter soliciting letters about Binford in connection
with his proposed promotion to Adjunct Professor.  Would you direct
Frances Larson in pubbing it?

∂30-Mar-80  1608	JMC  
To:   LES    
Remember we don't want to solicit comparisons of Binford with themselves.

∂30-Mar-80  2008	JMC  	imlac    
To:   ROY    
It's now unusable, because of character garbling
and screen clearing.  It isn't clear whether
it's the imlac or the line.  Please check it
out again Tuesday.  I'll call Monday.

∂31-Mar-80  0051	JMC  
To:   LGC    
Sorry I missed your message about picking up the listing.

∂31-Mar-80  0059	JMC  
To:   LGC    
Please don't distribute SNAPOV.TXT in its present form.

∂31-Mar-80  0112	JMC  
To:   CG
Please phone at earliest convenience Monday.

∂31-Mar-80  0923	JMC  
To:   LGC    
Please don't show SNAPOV to Engelmore till we talk.

∂31-Mar-80  1102	JMC  
To:   engelmore at USC-ISI  
We were expecting you today.  Are you still coming?

∂31-Mar-80  1220	JMC  
To:   LGC    
Engelmore is here.  General session with him will begin about 2.

∂31-Mar-80  2326	JMC  
To:   AS
Sure, go to San Diego

∂01-Apr-80  2043	JMC  
To:   LES    
Well, everything has to paid for somehow.  We could ask him to buy a slice,
we could trade it to CMU for something, perhaps just courtesy or we could
ask Richard whether he wants to support him out of his slice.  Perhaps you
could find his reference or ask him to say where we can FTP it from.

∂01-Apr-80  2046	JMC  
To:   ES
Unfortunately, my leg is still out of order, and I'm out of condition
from lack of running.  I doubt I'll be climbing before summer.

∂01-Apr-80  2111	JMC  
To:   FFL    
Please pub and print randel.le1.

∂01-Apr-80  2123	JMC  	Light in Frances's office    
To:   HVA
CC:   FFL   
It is incredibly noisy, so I suppose she doesn't use it in daytime.  Still
it must be fixed, and Carolyn or I sometimes use the office at night when
we are both here.

∂01-Apr-80  2154	JMC  
To:   LES    
 ∂01-Apr-80  2140	LES  
 ∂01-Apr-80  2043	JMC  
Well, everything has to paid for somehow.  We could ask him to buy a slice,
we could trade it to CMU for something, perhaps just courtesy or we could
ask Richard whether he wants to support him out of his slice.  Perhaps you
could find his reference or ask him to say where we can FTP it from.
-------
This must be the answer to something.  What was the question?

It concerned a request for an account from IRWIN.MARIN%CMU.